package com.googlecode.kipler.satisfiability.completion.strategy;

import java.util.Iterator;

import com.googlecode.kipler.container.dl.Individual;
import com.googlecode.kipler.container.dl.World;
import com.googlecode.kipler.container.dl.WorldConstraintSystem;


public class BasicIndividualFeeder implements IndividualFeeder {
	private WorldConstraintSystem wcs;

	private World world;

	public WorldConstraintSystem getWcs() {
		return wcs;
	}

	public void setWcs(WorldConstraintSystem wcs) {
		this.wcs = wcs;
	}

	public World getWorld() {
		return world;
	}

	public void setWorld(World world) {
		this.world = world;
	}

	@Override
	public Iterator<Individual> iterator() {
		return getWorld().getABox().individualIterator();
	}

}
